White box testing